/**
 * Software Analysis and Verification 
 * @project: Verify Pattern Matching with Guards in Scala
 * @authors: Mirco Dotta and Philippe Suter
 */


package ch.epfl.lara.patterns.analyze;

abstract class Warning(msg: String) extends Exception(msg)

case class NotDisjoint(msg: String) extends Warning(msg)

case class NotComplete(msg: String) extends Warning(msg)



abstract class InternalException(msg: String) extends Exception(msg)

//case class AbstractKaseException(msg: String) extends InternalException(msg)

//case class WildcardCaseException(msg: String) extends InternalException(msg)

case class KlassNotFoundException(msg: String) extends InternalException(msg)